Primitive recursive function - PDFSEARCH.IO - Document Search Engine

Primitive recursive function
Results: 110

#	Item
91	Complexity Theory Johan H˚ astad Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2009-05-13 03:44:33 Mathematics Mathematical logic Primitive recursive function Computable function Recursively enumerable set Μ operator Computability Function Recursion Computability theory Theory of computation Theoretical computer science
92	A Proof of the Turing-completeness of XSLT and XQuery Stephan Kepser Add to Reading List Source URL: tcl.sfs.uni-tuebingen.de Language: English - Date: 2002-05-13 11:35:09 Computability theory Functional languages Recursion Subroutines Theoretical computer science XQuery XSLT Primitive recursive function Stack Computing Computer programming Software engineering
93	paper.dvi Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-06-09 03:40:06 Computability theory Functions and mappings Recursion Functional languages Functional programming FP Primitive recursive function Function Standard ML Software engineering Computer programming Computing
94	PDF Document Add to Reading List Source URL: agi-conf.org Language: English - Date: 2009-05-19 04:45:33 Type theory Computability theory Functions and mappings Recursion Lambda calculus Administrative normal form Type system Function Primitive recursive function Mathematics Mathematical logic Software engineering
95	PDF Document Add to Reading List Source URL: www.rotarysaluzzo.it Language: English - Date: 2010-02-06 09:58:55 Exponentials Binary operations Computability theory Functions and mappings Tetration Hyperoperation ELEMENTARY Primitive recursive function Exponentiation Mathematics Numbers Large numbers
96	PDF Document Add to Reading List Source URL: www.research.ibm.com Language: English - Date: 2006-01-30 15:28:37 Functions and mappings Model theory Computability theory Nonassociative algebra Principia Mathematica Primitive recursive function Function FO Constructible universe Mathematics Mathematical logic Logic
97	PDF Document Add to Reading List Source URL: www.slac.stanford.edu Language: English Theoretical computer science Functions and mappings Mathematical logic Elementary mathematics Computable function Primitive recursive function Algorithm Computability Discrete mathematics Mathematics Theory of computation Computability theory
98	PDF Document Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 1999-11-30 09:55:10 Logic Metalogic Model theory Constructible universe Theory of computation Forcing Μ operator Primitive recursive function Mathematical logic Mathematics Computability theory
99	PDF Document Add to Reading List Source URL: www.people.cs.uchicago.edu Language: English - Date: 2008-06-20 18:07:53 Computer science Church–Turing thesis Computable function Turing reduction Primitive recursive function Recursively enumerable set Effective method Computability Turing machine Computability theory Theoretical computer science Theory of computation
100	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2005-04-04 06:40:22 Deduction Proof theory Functions and mappings Logical consequence Philosophical logic Natural deduction Mathematical proof Primitive recursive function Entailment Logic Mathematics Mathematical logic

UPDATE